The Tannaka Representation Theorem for Separable Frobenius Functors
نویسندگان
چکیده
منابع مشابه
What Separable Frobenius Monoidal Functors Preserve
Abstract. Separable Frobenius monoidal functors were de ned and studied under that name in [10], [11] and [4] and in a more general context in [3]. Our purpose here is to develop their theory in a very precise sense. We determine what kinds of equations in monoidal categories they preserve. For example we show they preserve lax (meaning not necessarily invertible) Yang-Baxter operators, weak Ya...
متن کاملSeparable functors in corings
We develop some basic functorial techniques for the study of the categories of comodules over corings. In particular, we prove that the induction functor stemming from every morphism of corings has a left adjoint, called ad-adjoint functor. This construction generalizes the known adjunctions for the categories of Doi-Hopf modules and entwining structures. The separability of the induction and a...
متن کاملFrobenius Functors of the Second Kind
A pair of adjoint functors (F,G) is called a Frobenius pair of the second type if G is a left adjoint of βFα for some category equivalences α and β. Frobenius ring extensions of the second kind provide examples of Frobenius pairs of the second kind. We study Frobenius pairs of the second kind between categories of modules, comodules, and comodules over a coring. We recover the result that a fin...
متن کاملSeparable Functors and Formal Smoothness
We prove that given a bialgebra surjection π : E → H with nilpotent kernel such that H is a Hopf algebra which is formally smooth as a K-algebra, then π has a section which is a right H-colinear algebra homomorphism. Moreover, if H is also endowed with an ad-invariant integral, then the section can be chosen to be H-bicolinear. We also deal with the dual case. As an application, we prove that e...
متن کاملThe Structure of Corings. Induction Functors, Maschke-type Theorem, and Frobenius and Galois-type Properties
Given a ring A and an A-coring C we study when the forgetful functor from the category of right C-comodules to the category of right A-modules and its right adjoint − ⊗A C are separable. We then proceed to study when the induction functor − ⊗A C is also the left adjoint of the forgetful functor. This question is closely related to the problem when A → AHom(C, A) is a Frobenius extension. We int...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebras and Representation Theory
سال: 2011
ISSN: 1386-923X,1572-9079
DOI: 10.1007/s10468-011-9285-3